<div>
  Ce champ est le numéro de port du proxy HTTP, utilisé avec le nom du serveur.
</div>